Extended Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Extended Mathematical Programming
Results: 33

#	Item
21	Linear Logic, Heap-shape Patterns and Imperative Programming Extended Abstract Limin Jia David Walker Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-22 06:08:46 Predicate logic Model theory Symbol Interpretation Function Monadic predicate calculus Logic programming Lambda calculus Natural deduction Mathematical logic Mathematics Logic
22	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder (Extended Abstract)? Jasmin Christian Blanchette and Tobias Nipkow Fakult¨at f¨ur Informatik, T. U. M¨unchen, Garching, Ger Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Programming paradigms Formal methods Mathematical proofs Lambda calculus Function Well-formed formula Constructible universe Logic programming Relational model Mathematics Logic Mathematical logic
23	Reasoning about Actions and Change: From Single Agent Actions to Multi-agent Actions (Extended Abstract) Chitta Baral Faculty of Computer Science and Engineering Arizona State University Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:29:10 Logic programming Modal logic Artificial intelligence Multi-agent systems Epistemic modal logic Philosophical logic Common knowledge Stable model semantics Situation calculus Logic Science Mathematical logic
24	Proof Obligations Preserving Compilation Extended abstract Gilles Barthe1 and Tamara Rezk1 and Ando Saabas2 1 2 Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-02 06:27:15 Applied mathematics Formal methods Mathematical logic Program logic Predicate transformer semantics Assertion Stack-oriented programming language Postcondition Subroutine Theoretical computer science Mathematics Logic in computer science
25	Mechanical Verification of SAT Refutations with Extended Resolution Nathan Wetzler, Marijn J. H. Heule, and Warren A. Hunt Jr. ⋆ The University of Texas at Austin Abstract. We present a mechanically-verified proof che Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-07-31 07:11:51 Logic Unit propagation Resolution Conjunctive normal form Clause Literal ACL2 Logic programming First-order logic Theoretical computer science Mathematical logic Automated theorem proving
26	GAMS’ Extended Mathematical Programming Framework Jan-Hendrik Jagla [removed] Add to Reading List Source URL: www.gams.com Language: English - Date: 2008-09-08 07:30:12 Numerical analysis Applied mathematics Mathematical optimization General Algebraic Modeling System Algebraic modeling language Modeling language MPS CPLEX BARON Operations research Computer algebra systems Mathematical software
27	An Extended Mathematical Programming Framework Michael C. Ferris Steven Dirkse, Jan Jagla, Alex Meeraus University of Wisconsin, Madison Informs Computing Society Meeting, January 9, 2011 Add to Reading List Source URL: www.gams.com Language: English - Date: 2011-03-07 04:12:39 Game theory Operations research Complementarity theory Nash equilibrium Mathematical analysis Mathematical optimization Mathematics
28	Extended Mathematical Programming in GAMS Jan-Hendrik Jagla [removed] Add to Reading List Source URL: www.gams.com Language: English - Date: 2008-07-25 06:05:22 Numerical analysis Applied mathematics Mathematical optimization General Algebraic Modeling System Numerical software Algebraic modeling language Modeling language Model BARON Operations research Mathematical software Computer algebra systems
29	Instance-Sensitive Robustness Guarantees for Sequencing with Unknown Packing and Covering Constraints∗ [Extended Abstract] † ‡ Add to Reading List Source URL: www.coga.tu-berlin.de Language: English - Date: 2012-11-23 03:06:05 Mathematical analysis Knapsack problem Dynamic programming Mathematical optimization Pi Μ operator Operations research Theoretical computer science Applied mathematics
30	Functional Programming and Specification Lecture Note 2, 8 March 2011 Specifying functions in Extended ML The Extended ML (EML) specification language is ML with minimal extensions for specifying Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-08 05:37:30 Quantification Predicate logic Z notation Prenex normal form Universal quantification Type theory Axiom Extended ML S Mathematical logic Logic Mathematics